A Logical Analysis of the Relationship between Commitment and Obligation

In this paper, we analyze the relationship between commitment and obligation from a logical viewpoint. The principle of commitment implying obligation is proven in a specific logic of action preference which is a generalization of Meyer’s dynamic deontic logic. In the proposed formalism, an agent’s commitment to goals is considered as a special kind of actions which can change her deontic preference and her obligation to doing some action is based on the preference and the effects of the action. In the logic, it is shown that an agent has the obligation to doing any action which is necessary for achieving as many committed goals as possible. The semantics of our logic is based on the possible world models for dynamic logic of actions. A binary preference relation between possible worlds is associated with the model. Then the preference between actions are determined by comparing that of their consequences. According to the semantics, while the preference will influence the agent’s choice of actions, commitment is a kind of actions that will change the agent’s preference. Thus we can show how obligations arise from commitments via updating of deontic preference. The integrated semantics make it possible to express and reasoning about the mutual relationship among these mental attitudes